61. Logical Methods
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
رده :
E-Book
,
62. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
63. Logics in Artificial Intelligence :
پدیدآورنده : edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
1994
64. Logics of Programs :
پدیدآورنده : by E. Clarke, D. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
65. Logics of Programs :
پدیدآورنده : edited by Dexter Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
66. Mathematical Foundations of Computer Science 1986 :
پدیدآورنده : edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
67. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
68. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
69. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
70. Memory Management :
پدیدآورنده : edited by Henry G. Baler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Memory management (Computer science)
71. Model Checking Software :
پدیدآورنده : edited by Ezio Bartocci, C.R. Ramakrishnan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
72. Modelling Computing Systems :
پدیدآورنده : by Faron Moller, Georg Struth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.,Computational complexity.,Computer science.,Logic design.
رده :
QA76
.
63
73. Modelling distributed systems
پدیدآورنده : Wan Fokkink
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع : Algebra Data processing,Computer science,Logic design
74. Models in Software Engineering
پدیدآورنده : edited by Jörg Kienzle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
75. Multi-Threaded Programming in C++
پدیدآورنده : by Mark Walmsley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer system performance.,Logic design.
رده :
QA76
.
73
.
C153
B963
2000
76. Multiagent System Technologies
پدیدآورنده : edited by Franziska Klügl, Sascha Ossowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
77. OpenSHMEM and Related Technologies
پدیدآورنده : \ Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic design,کامپیوتر,طراحی منطقی,a03,a04,a03,a04
رده :
E-Book
,
78. PROLOG for Computer Science
پدیدآورنده : by M.S. Dawe, C.M. Dawe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
79. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
80. Perspectives of Systems Informatics
پدیدآورنده : edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
